I will survey category-theoretic framework for the Fraïssé theory of universal objects, going way beyond the model theory, with applications in topology and functional analysis. In the most general setting, the base category has to be enriched over metric spaces and homogeneity of the Fraïssé limit means approximating partial isomorphisms by automorphisms.